More from this Author
Found 10 books by Daniel Kroening (Editor)
Verified Software: Theories, Tools and Experiments
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Computer Aided Verification
by Daniel Kroening (Editor), Corina S. Psreanu (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Computer Aided Verification
by Daniel Kroening (Editor), Corina S. Psreanu (Editor)
Computer Aided Verification
by Daniel Kroening (Editor), Corina S. Pă, să, reanu (Editor)
Computer Aided Verification
by Daniel Kroening (Editor), Corina S. Pă, să, reanu (Editor)
Hardware and Software: Verification and Testing
by Sharon Barner (Editor), Ian Harris (Editor), Daniel Kroening (Editor), Orna Raz (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Verified Software: Theories, Tools and Experiments
by Dimitra Giannakopoulou (Editor), Daniel Kroening (Editor)